Proceedings First Workshop on CTP Components for Educational Software
نویسندگان
چکیده
منابع مشابه
Proceedings of the Second AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software
We have developed task scheduler logic (TSL) to automate reasoning about scheduling and concurrency in systems software. TSL can detect race conditions and other errors as well as supporting lock inference: the derivation of an appropriate lock implementation for each critical section in a system. Lock inference solves a number of problems in creating flexible, reliable, and efficient systems s...
متن کاملProceedings of the Fourth AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software
Current implementations of software providing dynamic aspect functionality in operating system (OS) kernels are quite restricted in the possible joinpoint types for native code they are able to support. Most of the projects implementing advice for native code use basic technologies adopted from instrumentation methods which allow to provide before, after and around joinpoints for functions. Mor...
متن کاملProceedings of the Third AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software
Aspect–oriented design allows for a better modularization of cross–cutting concerns in software systems. The design of personalized (adaptive) Web applications — which can be considered as concrete realizations of hypermedia systems — essentially adds user modeling actions (UMs) and adaptive behaviors (ABs) to the associative hypermedia structure comprised by nodes, contents and links. In conse...
متن کاملProceedings from the First International Workshop on Educational Knowledge Management ( EKM 2014 ) , Linköping , November 24 , 2014
Community Question Answering (CQA) systems, such as Yahoo! Answers or Quora, are mostly perceived and studied from their primary knowledge sharing perspective. In spite of that, CQA systems have also a potential to become an effective means for people to acquire new knowledge. In the present, we can witness initial efforts on taking advance of this secondary perspective as CQA concepts have bee...
متن کاملProceedings for First Workshop on Aspect - oriented Product Line Engineering
The Product Line Architecture is the most important asset of a Product Line. The Product Line Architecture defines not only the product line quality attributes but also encompasses the capability of reuse, product derivation, and product line evolution. AspectOriented approaches seek proper separation of concerns in order to obtain evolvable, maintain...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2012
ISSN: 2075-2180
DOI: 10.4204/eptcs.79.0